71![Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/3209a03adc6790fbd004e037a8f67288.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-07-04 05:45:30
|
---|
72![Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that](https://www.pdfsearch.io/img/d7a89a9473a3fb5ccc7bd37b559f5870.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|
73![Trust Is in the Eye of the Beholder Dimitri do B. DeFigueiredo, Earl T. Barr and S. Felix Wu∗ Dept. of Computer Science – UC Davis Revision NovemberAbstract Trust Is in the Eye of the Beholder Dimitri do B. DeFigueiredo, Earl T. Barr and S. Felix Wu∗ Dept. of Computer Science – UC Davis Revision NovemberAbstract](https://www.pdfsearch.io/img/1aecf33ce6f86fd91af39761ce540dfa.jpg) | Add to Reading ListSource URL: web.cs.ucdavis.eduLanguage: English - Date: 2009-07-10 13:52:18
|
---|
74![Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University](https://www.pdfsearch.io/img/ba2dace5508331200249736a1de689b5.jpg) | Add to Reading ListSource URL: publications.aston.ac.ukLanguage: English - Date: 2017-02-05 19:13:20
|
---|
75![Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/1c341bb13b932479a2bb79495145a571.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-06-29 07:04:13
|
---|
76![Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite](https://www.pdfsearch.io/img/5d71ac755d8aa887d9ec91bbe069355f.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2015-04-15 12:27:37
|
---|
77![Order-LWE and the Hardness of Ring-LWE with Entropic Secrets Zvika Brakerski Renen Perlman Weizmann Institute of Science∗ Abstract Order-LWE and the Hardness of Ring-LWE with Entropic Secrets Zvika Brakerski Renen Perlman Weizmann Institute of Science∗ Abstract](https://www.pdfsearch.io/img/8492c24a6217ea4650d79d9e3c9e2984.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2018-05-21 15:18:19
|
---|
78![SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit Cormac Herley P.C. van Oorschot SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit Cormac Herley P.C. van Oorschot](https://www.pdfsearch.io/img/a39666076e10a02566bea109b2ef394e.jpg) | Add to Reading ListSource URL: www.microsoft.comLanguage: English - Date: 2018-01-04 02:56:22
|
---|
79![Asymptotically faster quantum algorithms to solve multivariate quadratic equations Daniel J. Bernstein1 and Bo-Yin Yang2 1 Department of Computer Science Asymptotically faster quantum algorithms to solve multivariate quadratic equations Daniel J. Bernstein1 and Bo-Yin Yang2 1 Department of Computer Science](https://www.pdfsearch.io/img/17d966abe713f4f5f9a5ec65cca5898b.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2018-05-02 19:51:01
|
---|
80![HES-SO | Master of Science in Engineering Cloud Computing — NoSQL and database as a service Academic year HES-SO | Master of Science in Engineering Cloud Computing — NoSQL and database as a service Academic year](https://www.pdfsearch.io/img/4211bf649e3d3cdcc2b507a5f05a3875.jpg) | Add to Reading ListSource URL: mse-cloud.s3-website-eu-west-1.amazonaws.comLanguage: English - Date: 2015-12-14 05:10:03
|
---|